theorem :: XPRIMES2:754

canceled;