حکم با این هم ارزه :AC'+BA'+CB'=AB'+BC'+CA' i ابتدا ثابت میکنیم که O و I در رابطه صدق میکنند و سپس ثابت میکنیم اگر دو نقطه در مکان هندسی باشند آنگاه وسط این دو نقطه و قرینه ی این نقاط نسبت به هم نیز در مکان هندسی قرار دارد.
پس ثابت میشود OI مکان هندسی هست و اگر نقطه ای خارج OI جزو مکان هندسی باشد آنگاه کل صفحه مکان هندسی میشود که تناقض است.