t.ae 8/9/2017 6:07 AM

空集合のみ特別にロジックが要るはずですね