יש אפליקציה שפותרת הוכחות? בגאומטריה)