Добавлено важное условие (центроид $c$ лежит на пути из $a$ в $b$) в третье утверждение. Без этого условия в общем случае утверждение становится неверным.

[MrFkbr]

This pull request has been automatically generated by prose.io.