theorem :: XPRIMES2:5698

canceled;