Given a sentence in Tagalog language, translate the sentence to English language keeping the meaning of the original sentence intact.

Ex Input:
Tagalog sentence: Patunayan na ang ay tirik na ang linya sa pamamagitan ng midpoints ng at .

Ex Output:
Prove that is perpendicular to the line through the midpoints of and .


Ex Input:
Tagalog sentence: Patunayan na wala sa mga ito ng dalawang sequences naglalaman ng isang negatibong elemento kung at kung lamang ang mayroon kami .

Ex Output:
Prove that none of these two sequences contain a negative element if and only if we have .


Ex Input:
Tagalog sentence: Nanalo enerhiya patakaran ni Presidente Obama ng suporta ng maraming mga Amerikano. (Source: Flickr.com, Larawan sa pamamagitan ng Tyler Driscoll para Obama para sa Amerika)

Ex Output:

President Obama's energy policy won the support of many Americans. (Source: Flickr.com, Photo by Tyler Driscoll for Obama for America)