theorem :: XPRIMES1:2602

canceled;