つまり、証明出来てないと