We leave checking C1 to C3 as an exercise to the reader — the proofs are very similar to those in part (i).
past-me, annoying now-me and future-me
We leave checking C1 to C3 as an exercise to the reader — the proofs are very similar to those in part (i).
past-me, annoying now-me and future-me