Principal diagonals of octagon meet in a single point