That's what I meant by attempting to find a constructive proof. 2 doesn't work because no matter how much you shift down and to the left you'll always have a boundary.
> our link proves something stronger
No, it proves that the 3 statements are equivalent, so it is not stronger.
> our link proves something stronger
No, it proves that the 3 statements are equivalent, so it is not stronger.