theorem :: PROOFS_1:18

for P being non empty ProofSystem
for a being object st P |- a holds
a is Element of P by Th57;