theorem :: XPRIMES2:1734

canceled;