theorem :: XPRIMES2:7762

canceled;