theorem
8 following