如图，作五角星ABCDE，产生5个交点G、H、I、J、F；再分别作△AGF、△DHG、△BIH、△EJI、△CFJ的外接圆；这5个圆生成5个新的交点M、N、P、K、L；求证：M、N、P、K、L五点共圆。超级画板自动推理只需2.9秒，图为部分推理过程。