>>744
3^2 + 5^2 + 7^2 = 9 + 25 + 49 = 83 なのでこれは合成数じゃないです。
したがって>>678の命題を示すためには
合成数とか素数の定義を変えるか、矛盾した公理系を持ってくる必要があります。