M’(p)のところは平方数でなければならないと思いますが