اعدادي مثل θ[SUB]1[/SUB] و θ[SUB]2[/SUB] و θ[SUB]3[/SUB] وجود دارند كه x = tan θ[SUB]1[/SUB] و y = tan θ[SUB]2[/SUB] و z = tan θ[SUB]3[/SUB] پس داريم : k = cot(θ[SUB]1-[/SUB]θ[SUB]2[/SUB]) و l = cot(θ[SUB]2-[/SUB]θ[SUB]3[/SUB]) و
m = cot(θ[SUB]3-[/SUB]θ[SUB]1[/SUB]) اگه تعريف كنيم a = θ[SUB]1-[/SUB]θ[SUB]2[/SUB] و b = θ[SUB]2-[/SUB]θ[SUB]3[/SUB] و c = θ[SUB]3-[/SUB]θ[SUB]1[/SUB] .پس داريم a + b = -c پس :
cot(c) = -cot(a+b) = (1-cota.cotb))/cota+cotb يعني : m = (1-kl)/(k+l) پس اگه ب.م.م k و l برابره d باشه اونوقت 1 بر d بخشپذيره يعني d = 1 پس ب.م.م هر دو عدد از اون سه تا برابره با 1.