Demonstrationes per Syllogismos — Theodoretus of Cyrrhus (Cyrus)