Вид доказательства в примере: «Если бы среди студентов группы 123 были неуспевающие, то у них бы имелись задолженности по сессии. Однако задолженностей у студентов группы 123 нет. Следовательно, все студенты этой группы – успевающие».