theorem :: XPRIMES2:904

canceled;