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