Отрефакторен теормех и добавлены преамбулы