theorem :: XPRIMES1:2548

canceled;