take {(0. V)} ; :: thesis: {(0. V)} is linearly-closed
thus {(0. V)} is linearly-closed ; :: thesis: verum