theorem :: XPRIMES1:666

canceled;