Added two proof elements:
o proof add assumption (can be used for a proof by contradiction)
o proof by "easy" (the command \easy doesn't print anything; can be
used to give a verbal argument)