いや、テストなら証明しろよ、ちゃんと。
でも簡単な場合は省略していい。