「これは正しいということがすでにわかっているから正しい」
は、証明として正しくないよ？