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