Rabıtanın aklen ispatı