برهان تمانع و برهان فرجه را توضیح دهید.

برهان تمانع یکی از براهین متقن و محکم و خلل ناپذیر قرآن در اثبات توحید پروردگار، است که از آیه « لو کان فیهما الهة الا الله …» استفاده می شود. و برهان فرجه بر گرفته از روایتی است که هشام بن الحکم از امام صادق (ع)  روایت می کند و حکما آن را تقریر کرده اند.