3x3 lemma for pushouts

[Alizter]

Using Egberts exponential argument, show that 3x3 diagram for pushouts is equivalently a 3x3 diagram for pullbacks hence the lemma. Was discussed in HoTT#1001.