main.thm 25.6 KB