証明できるのだろうか