ある証明問題を別の定理で証明するとき、その使う定理も証明しておかないと、
0点くれる教授がたまにいる。どこまでが既出とみるか、でも、すべてが選択公理
に帰結してくるので、どーでもいいことなのだけど。
数学事典を読めと添え書きしておくのもいい。