  In the special case of S^1 invariant metrics on S^2, we find necessary and
sufficient conditions for the existence of isometric embeddings into the
canonical R^3, in other words: a Weyl type theorem with converse.
