If we let be the measure of the acute angle formed by and the x-axis, then . clearly bisects the angle formed by and the x-axis, so . We also know that and intersect at a point on the x-axis.
Kung hayaan namin ang panukalang-batas ng matinding anggulo nabuo sa pamamagitan ng at ang mga x-aksis, at pagkatapos ay . malinaw na bisects ang mga anggulo nabuo sa pamamagitan ng at ang mga x-aksis, kaya . Din namin malaman na at bumalandra sa isang punto sa x-aksis.