theorem :: XPRIMES1:10

canceled;