Task: Translation
Input (Tagalog): Tagalog sentence: Patunayan na ang tatsulok ay isosceles.
Output (English): Prove that the triangle is isosceles.