TSTP Solution File: SYO206_8 by Isabelle---2016