The proof of the subject reduction theorem is completed.