Let f(x)=

x^2 if x rationalProve f is differentiable at 0

0 if x is irrational

f(0)=0

So at

Case 1: h rational, then

Case 2: h irrational

Hence

and f is differentiable at 0

QED

Am I expressing this proof correctly? Are all my steps rigorous?