外在的な観察いくらしても、証明の成功不成功とは関係がない。