theorem :: XPRIMES2:5792

canceled;