约翰证明了约翰是正确的