がんばったことの論理的な証明