Конечномерное линейное многообразие

[patzer2097]

ewert в сообщении #896137 писал(а):

Никаких простых способов доказательства, не задействующих эквивалентность, чего-то не просматривается.

попробуйте <Ctrl> + <=>

[ewert]

patzer2097 в сообщении #896191 писал(а):

попробуйте <Ctrl> + <=>

Легко:

<Ctrl> + <=>