院試において、定理はどこまで無断で(証明なしで)用いていいのか?