theorem :: XPRIMES1:30

canceled;