deleted WKT theorem