theorem :: XPRIMES2:662

canceled;