theorem :: XPRIMES1:90

canceled;