Z:gnu-www-ja-hakawatha--8c599b-Trying to make out a theorem/en

Trying to make out a theorem