Completed text revision in subsection 2.3.