Prove It!
Don't believe what the properties say?  We'll prove it to you!

Substitution