| Czworokąt AECF jest trapezem. | P | |
| Suma kątów ostrych w czworokącie AECF jest równa 90°. | P |
Zdanie 1: Czworokąt AECF jest trapezem, ponieważ ma parę boków równoległych.
Zdanie 2: Kąty w trójkącie równobocznym mają po 60° każdy, więc kąt FCE również ma 60°. Kąty przy podstawie trójkąta równoramiennego ADF mają po 30°, więc kąt FAE również ma 30°. Dlatego Suma kątów ostrych w czworokącie AECF wynosi 30° + 60° = 90°.