You will be given a definition of a task first, then some input of the task.
Given a sentence in Tagalog language, translate the sentence to English language keeping the meaning of the original sentence intact.

Tagalog sentence: Ang isa ay ang katunayan na siya ay nagbibigay ng Hahn - Banach teorama para sa space C [a, b], habang siya ay nagbibigay ng isang simple na patunay ng isang teorama na Riesz ay nai-publish ang mga nakaraang taon.
Output:
One is the fact that he gives the Hahn - Banach theorem for the space C[a, b], while he is providing a simpler proof of a theorem which Riesz had published the previous year.