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