${?}_{{?}_{{?}_{?}}{?}_{{?}_{?}}{?}_{{?}_{?}}{?}_{{?}_{?}}\text{c}\text{a}\text{n}be\text{u}\text{s}\text{e}\text{d}to\text{p}\text{r}\text{o}\text{v}\text{e}\text{p}\text{r}\text{o}\text{p}\text{e}\text{r}\text{t}\text{i}\text{e}\text{s}\text{a}\text{b}\text{o}\text{u}\text{t}\text{r}\text{e}\text{c}\text{u}\text{r}\text{s}\text{i}\text{v}\text{e}\text{a}\text{l}\text{g}\text{o}\text{r}\text{i}\text{t}\text{h}\text{m}\text{s}\text{.}}$

Question $4$ options:

Induction

Postfix notations

Prefix notations

Backtracking