Theorem interview question

About final sem project work