theorem :: XPRIMES2:2497

canceled;