Estimating basilar artery upper rupture limit by dangerous alarming diameter of arteries (DADA) following bilateral common carotid artery ligation; a new theorem