Euclidean plane geometry