theorem :: XPRIMES1:2552

canceled;