nine0lemma
4 following