Suppose you want to prove an iff statement with an easy direction and a tough as nails, multi-page direction. The easy one goes
@ZevenKorian sometimes, authors get away with "where the details are left to the reader"
@ZevenKorian Personally I'd always do the easy direction first, because that helps set the scene, and makes sure the reader has the context "to hand". Helping them see that this direction is easy makes sure they have a handle on what's happening.
mfw last time i faced such an iff both were the multi-page one