theorem :: XPRIMES1:2561

canceled;