File:Construction of Angle with measure 22.5∘.ggb