>>973

Alright. How about Hilbert's theorem 90?