set D = {R};
for P being Rule of S st P in {R} holds
P is Correct by TARSKI:def 1;
hence for b₁ being RuleSet of S st b₁ = {R} holds
b₁ is Correct by Th14; :: thesis: verum