set A = {[{},{}]};
( {[{},{}]} \+\ (id {{}}) = {} & n -placesOf R = {[{},{}]} ) by Lm7;
hence (n -placesOf R) \+\ (id {{}}) is empty ; :: thesis: verum