theorem :: XPRIMES1:8

canceled;