Tits compilation أنبوب XXX. الصفحة 7.