theorem :: XPRIMES2:664

canceled;