Обозначим через дел утверждение (20/39)

Обозначим через дел утверждение