Task: Translation
Input (Igbo): Igbo sentence: Anyị kwukwara a àmà n'okpuru.
Output (English): We added a proof below.