theorem :: XPRIMES2:1729

canceled;