theorem :: XPRIMES1:2485

canceled;