trueq[sqrt(36-4x^2) equals 2 Sqrt[9 - x^2]]