students learn to prove ideas