more square lemmas