theorem :: XPRIMES1:2620

canceled;