for X being set holds
( proj1 X = {} iff proj2 X = {} )