>>235
補題の式は正しいでしょうか?pに7や11を代入したら成立しないですよね?私が何か勘違いしてる?