Mathematics: what to prove