theorem :: XPRIMES2:4927

canceled;