THOREM END WAL