Ապացուցումների ուսուցումը ավագ դպրոցի բնագիտամաթեմատիկական հոսքում