証明してみようと思う笑