A Complete V-Equational System for Graded lambda-Calculus