a uniqueness theorem
previous page