Which method is used to prove the correctness of matan of hadith?