theorem :: XPRIMES2:2523

canceled;