Bốn cách chứng minh định lí Pappus - Trần, Đức Anh (2023)