theorem :: XPRIMES2:4720

canceled;