l . x in [#] F ;
hence l . x is Element of ; :: thesis: verum