set A = {[{},{}]};
( {[{},{}]} \+\ (id {{}}) = {} & n -placesOf R = {[{},{}]} ) by Lm4;
hence for b₁ being set st b₁ = (n -placesOf R) \+\ (id {{}}) holds
b₁ is empty ; :: thesis: verum