difficult-ish proof for a meh theorem