互いに素なビタゴラス数は し力丶も 自然数と対応づけられる 真限にあり