Proving and Proof as an Educationa Task