Egy gúla alapidomának csúcsai rajta vannak egy kör kerületén. Bizonyítandó, hogy a gúla magasságának talppontjából az oldalélekre bocsátott merőlegesek talppontjai szintén egy körön vannak. (A gúla magassága az alapidom síkján kívül levő csúcsból az alapidom síkjára bocsátott merőleges. A szóban forgó gúla lehet "ferde'', tehát a magasság talppontja nem szükségképpen azonos a mondott kör középpontjával.)