דווקא כן - ../images/Emo62.gif
דבר ראשון, מספר הכופלים ב-"!!" הראשון - זוגי. וגם בשני. לכל כופל a ב-"!!" הראשון יש כופל (a-) במודולו המספר הראשוני המדובר. לכן, שתי המכפלות שוות במודולו המספר הראשוני הזה. ניקח לשם הדגמה מספר ראשוני אחר מסוג 4k+1, למשל 13. צריך להוכיח ש:
12!! - 11!!
מתחלק ב-13. ובכן, במודולו 13:
12!! = = 12 * 10 * 8 * 6 * 4 * 2 = = (-1) * (-3) * (-5) * (-7) * (-9) * (-11) = = 11!! * (-1)^6 = 11!!