theorem :: XPRIMES2:2561

canceled;