I found something similar, although I'm pretty late: if, then: for; else . (to get a certain pair, we first let oscillate between and until gets the right value, then we do the same thing with) Thus, the only way to get a contradiction is to have, where, which leads to the same answer as the one in the previous.
Natagpuan ko ang isang bagay na katulad, bagaman ako medyo huli: kung ang, Pagkatapos ay: para sa; Sino pa ang paririto . (upang makakuha ng isang pares ng mga tiyak na, Kami muna ipaalam mag-atubili sa pagitan ng at hanggang sa nakukuha ang karapatan na halaga, at pagkatapos ay gawin namin ang mga parehong bagay na may) Samakatuwid, ang tanging paraan upang makakuha ng isang pagsalungat ay upang magkaroon ng, Kung saan, Na humahantong sa parehong sagot na bilang isa sa mga nakaraang.