勝利関係なしに実際証明できる?