theorem :: XPRIMES1:2472

canceled;