نموذج: Isabelle / صفحة 4