wip of the proof of 2^#|{i | a i != 0}| <= #|S|
Reorganized + finished proof of prop1084