theorem :: XPRIMES1:2496

canceled;