それまでに証明した命題を使わないと損だというケチな考え方があるように思われます。