theorem :: XPRIMES2:4710

canceled;