theorem :: XPRIMES2:2518

canceled;