Az ABCD tetraéder ABC lapjához hozzáírt gömb az ABC lapot a P pontban, az ABD laphoz hozzáírt gömb pedig az ABD lapot Q-ban érinti. Igazoljuk, hogy ACB∢+AQB∢=ADB∢+APB∢.