1729は13で割り切れるか?