Es sei ein Punkt in der euklidischen Ebene , der Kreis mit Radius und Mittelpunkt und es sei eine Gerade durch , die den Kreis in den Punkten
und
trifft. Dann ist für jeden Punkt das Dreieck rechtwinklig an .
Die Ordnung von teilt die Ordnung der Gruppe.
Es sei ein Körper und seien endlichdimensionale Vektorräume über . Dann ist die Dimension des Tensorproduktes gleich