约翰 证明了。约翰 是正确的。