The proof of subject reduction is completed.