theorem :: XPRIMES2:5726

canceled;