ophthalmic artery is a branch of