sentences:  Since formula_6 is simply connected, formula_33 is a homeomorphism, and hence, a (global) isometry.Therefore, formula_20 and formula_6 are globally isometric, and because formula_20 has an infinite area, then formula_62 has an infinite area, as well.formula_63
  
  Lemma 2