b . (f,g) is Element of F ;
hence b . (f,g) is Element of F ; :: thesis: verum