成り立つ証明は?