Amin'ny alalan'ny porofo amin'ny alalan'ny fifanoheran-kevitra (reductio ad absurdum), dia afaka manome valiny amin'ny olana amin'ny marimaritra iraisana ny marimaritra iraisana, raha mamaritra ny fetra ao anatin'ny valiny. Ity teknika ity dia fantatra amin'ny anarana hoe ny fomba fiasan'ny fahaverezana, ary nampiasa azy io izy mba hanatonana ny sandan'ny π. Ao amin'ny fandrefesana ny faribolana dia nanao izany izy tamin'ny alalan'ny fanaovana sary hexagon lehibe kokoa ivelan'ny faribolana ary hexagon kely kokoa ao anatin'ny faribolana, ary mihamaro ny isan'ny sisiny isaky ny polygone ara-dalàna, ny fikajiana ny halavan'ny lafiny iray amin'ny polygone isaky ny dingana. Rehefa mitombo ny isan'ny sisiny, dia lasa manakaiky kokoa ny faribolana misy isa efatra. Taorian'ny dingana 96 toy izany, rehefa samy nanana ny lafiny izy, dia afaka nanome valiny amin'ny olana amin'ny ambaratonga marim-pototra ny fahamarinan'ny valiny. Ity teknika ity dia fantatra
fanafoanana tsy misy dikany