theorem :: XPRIMES1:1066

canceled;