( (id {x}) \+\ {[x,x]} = {} & (x .--> x) \+\ {[x,x]} = {} ) ;
hence for b₁ being set st b₁ = (id {x}) \+\ (x .--> x) holds
b₁ is empty by Th29; :: thesis: verum