알레프 1형이 정배인가?