theorem :: XPRIMES2:771

canceled;