>>121
その合同式は場合分けの条件だ。