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