terminal/THEOREM:07