2 Construction of cyclic cover

The aim is to show that if we have a counter-example to Fermat's Last Theorem, then there is a cyclic extension of order p of K which is unramified everywhere. As is usual we can assume that the given counter-example (X, Y, Z) has the property that these are mutually co-prime integers.