theorem :: XPRIMES1:5666

canceled;