Cut a line in thm7