theorem :: XPRIMES2:4762

canceled;