Asiki metode saking pembuktian, prasida kamargiang ritatkala wénten wantah makudang-kudang kasus sané prasida ngemolihang imba saihan, kaadanin pinaka "brute force": ring pendekatan puniki, samian kasus sané minab kapinehang miwah kasinahang nénten kaanggén antuk ngaturang imba saihan.
One method of proof, applicable when there are only a finite number of cases that could lead to counterexamples, is known as "brute force": in this approach, all possible cases are considered and shown not to give counterexamples.