If you say 'provably', you should offer the proof. In Lean perhaps? But in English is also ok.