theorem :: XPRIMES2:8904

canceled;