Discrete convex functions and proof of the six circle conjecture of