theorem :: XPRIMES2:2490

canceled;