Aşağıdaki uygulamada dinamik olarak gösterilen, dörtgenlerle ilgili (nadiren görülen) hangi teoremdir?