Refactor: more simple prove term