f . x in Bool M ;
hence f . x is Element of Bool M ; :: thesis: verum