proof option 3

by wb reaves