sentences:  The proof of Hilbert's theorem is elaborate and requires several lemmas.The idea is to show the nonexistence of an isometric immersion 
  
  of a plane formula_6 to the real space formula_3.This proof is basically the same as in Hilbert's paper, although based in the books of Do Carmo and Spivak.