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