See how easy it is to prove things