theorem :: XPRIMES2:2496

canceled;