theorem :: XPRIMES2:2489

canceled;