Я там колись писав, що матан - зло?
Неправда. В матані принаймні доведення чесні. Якщо щось доводиться, то воно або плюс-мінус очевидне, або показується, звідки воно береться і доводиться, чому воно, власне, звідти береться.