proofdoku

welcome to proofdoku.

easy 1

Hello.