proofdoku

Welcome to proofdoku.

easy 1