theorem :: XPRIMES1:2205

canceled;