6.1.B03. § 1. Системы целых алгебраических нервенств