theorem :: XPRIMES1:70

canceled;