theorem :: XPRIMES2:655

canceled;