theorem :: XPRIMES2:1736

canceled;