一義性の定理
【いちぎせいのていり】
【ichigiseinoteiri】
唯一性定理