However, indirect methods such as proof by contradiction can also be used with contraposition, as, for example, in the proof of the irrationality of the square root of 2.
Але непрямі методи, як доказ протиріччям, теж можуть використовуватися з контрапозцією, як, наприклад, доказ ірраціональності квадратного кореня з двох.