theorem :: XPRIMES2:2510

canceled;