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