Двадцятип'ятикутник