theorem :: TARSKI:1

for x being object holds x is set by TARSKI_0:1;