turned out to be 3 special cases of a single more-general result.
Proving the latter instead is a real simplification.