a²-b² rational or not​