Tetra and thesis: moved sign of denominator to thesis; finsihed lemma on adjacency of next gen, but doesnt consider possibility of smaller cycles containing three of four vertex sets