По определению линия НЕ может быть в виде котенка.
Сначала приведи определение линии (учитывающее и родословную линию котят).
Потом приведи определение котят.
И в области действия твоих определений (а не где-то еще) сможешь попытаться доказать свою лемму.
По определению линия НЕ может быть в виде котенка.
Сначала приведи определение линии (учитывающее и родословную линию котят).
Потом приведи определение котят.
И в области действия твоих определений (а не где-то еще) сможешь попытаться доказать свою лемму.