கேள்வி: பெர்மாவின் சிறிய தேற்றம் - எளிய முதல் நிறுவல் குறித்து விரிவாக சொல்லுங்கள்.
பதில்: இந்நிறுவல் உய்த்தறிதல் முறையில் செல்லும். p | n^p - n என்பது தேற்றம். n = 1 க்கு நிச்சயமாக இது உண்மை; ஏனென்றால், 1^p - 1 = 0, p ஆல் வகுபடுகிறது. இப்பொழுது p | n^p - n என்பது உண்மையானால் :: p | (n+1)^p - (n+1) என்று காட்டவேண்டும். :: (n+1)^p - (n + 1) :: = n^p - n + \sum_{i=1}^{i=(p-1)}\begin{pmatrix} p \\ i \end{pmatrix} இது p ஆல் வகுபடுகிறது; ஏனென்றால், உய்த்தறிதல் கருதுகோளினால் n^p - n, p ஆல் வகுபடுகிறது; மற்றும், ஒவ்வொரு \begin{pmatrix} p \\ i \end{pmatrix} ம் p ஆல் வகுபடுகிறது.