theorem :: XPRIMES2:2512

canceled;