簡約法則
【かんやくほうそく】
【kanyakuhousoku】
消去律