completed proof in Classical; the fcb lemma works for any list of atoms (despite what was written earlier)

(binary:image/jpeg)