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

use_thys ["Paper"];