>>656
>>659の「 0∈x」は「 x∈N x≠0」に訂正。