Remainder-Theorem-Synthetic