essentially indirect proof

[ریاضیات] استدلال ذاتا غیر مستقیم