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