(x^2 - 7x + 11)^(x^2 - 13x + 42) = 1