Dạy học định lí với một vấn đề tìm kiếm - Nguyễn Phú Lộc, TS.