2 ms·

So you don't accept inductive proofs? This will rather limit the amount of mathematical tools available to you.