it is an attempt to prove a very specific case of the theorem x = sqrt(x) ^ 2.