Discrete mathematics and proof in the high school