Add lemmas for components of A