theorem :: XPRIMES2:1989

canceled;