theorem :: XPRIMES2:7712

canceled;