Spec for polyedr (Lecture 25.03.14)