11以上の素数では最大公約数はないってどうやって証明するん?