The Four Color Map Theorem short proof