premise: Similarly we can prove that each of the remaining triangles of which the sides of the square EFGH are the bases and the points L and M are the vertices, is equilateral, therefore an octahedron has been constructed which is contained by eight equilateral triangles.