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