Theorem Interview Question

About final sem project work