12.5 #19

I understand why it works, just don't understan how i would prove it.