theorem :: XPRIMES1:2527

canceled;