Check out oliana lemma (@olixnx