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