Finalize the theorem for checking memory segments compliance