ทฤษฎีบทเล็กของแฟร์มา – ภาษาอื่น ๆ