indirect proof

Türkçe: dolaylı kanıt

Açıklama: Dolaylı ispat; çelişki ile ispat