ทฤษฎีบททวินาม – ภาษาอื่น ๆ