Theorem interview question

Good relevant questions