topptriangelsatsen och transversalsatsen