Task: Translation
Input (Tagalog): Tagalog sentence: Siya na ginawa ng kanyang unang matematiko diskubre sa edad na limang kapag siya nagtrabaho ang mga formula para sa kabuuan ng isang arithmetic paglala.
Output (English): He made his first mathematical discovery at the age of five when he worked out the formula for the sum of an arithmetic progression.