thus f . x is Element of B ; :: thesis: