Euler's Characteristic Formula for Planar Graphs