thus O . (a,b) is Element of B ; :: thesis: verum