Доказательство Связанные теоремы/определения Линейное нормированное пространство Евклидово пространство
