Zkušenosti s důkazovými úlohami v semináři Metody řešení matematických úloh