theorem :: XPRIMES1:2608

canceled;