theorem :: XPRIMES1:1989

canceled;