Add frostsnow's p3-4 part c.

Egh, I feel that I'm missing something here... not that it changes the
outcome, but that the proof is incomplete.