Thomae's function (continuous at the irrationals, discontinuous at the rationals). Sketch the proof