b + (- a) is irrational ;
hence b - a is irrational ; :: thesis: verum