Original: Let &zeta; be a primitive p-th root of unity and consider the following tower of number fields: where Kn is the field generated by a primitive pn-th root of unity and .
Simplified: Let  be a primitive -th root of unity and look at the following tower of number fields: where  is the field generated by a primitive -th root of unity.