u/Berkamin explains what is there to prove of maths