theorem :: XPRIMES2:1394

canceled;