war_Latn: ginredirect tikang ha mathematical proof
eng_Latn: there is a mathematical proof