Worked out most of the proof for the if case.