@user525966 Short answer is "yes" Long answer: I might have forgotten to define what is a theorem in the Fitch-style system we have gone through. A
theorem is a assertion/statement that is not under any context whatsoever. For example, in the first example proof
here, there are two lines that are outside all the contexts, and those two are theorems.