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

     1

use_thys ["Paper"];