Proof technique

Written by Eric B last updated