A proof that the maximum rank for ternary quartics is seven