theorem :: XPRIMES2:7965

canceled;