>>63
＞この証明ではlog(pn)が解にならない可能性を排除できませんでした。