theorem :: XPRIMES1:973

canceled;