証明は定理が成り立つことを示す