24/01/05 11:54:16.53 gGi+PqI8.net
>>913の中程の下から2行目の訂正：log(π)∈(R∩P)-A に反し、矛盾する → log(π)∈R-A に反し、矛盾する
24/01/05 11:54:16.53 gGi+PqI8.net
>>913の中程の下から2行目の訂正：log(π)∈(R∩P)-A に反し、矛盾する → log(π)∈R-A に反し、矛盾する
24/01/05 11:54:16.53 gGi+PqI8.net
>>913の中程の下から2行目の訂正：log(π)∈(R∩P)-A に反し、矛盾する → log(π)∈R-A に反し、矛盾する