テストで定理をうる覚えだった時に、
その定理が正しいかどうか確かめる為だろ。