lesson for myself: sometimes trying to prove something *more* general is easier
ofc loeaoa applies
a Schelling point for those who seek one
ofc loeaoa applies