اگر قصد ............. درستی حکم «اگر A و B، دو ماتریس هم مرتبه باشند و $AB = \bar O$، آنگاه $A = \bar O$ یا $B = \bar O$، مفروض است» را داشته باشیم از روش ............. استفاده می‌کنیم.