@gregeganSF @JDHamkins Trivial for you, but someone who isn't well-practised in proof methods wouldn't come up with that quickly