theorem :: XPRIMES2:2491

canceled;