In an octagon ABCDEFGH of equal side