theorem :: XPRIMES1:66

canceled;