theorem :: XPRIMES1:1729

canceled;