A Proof of Stavi's Theorem (Logical Methods in Computer Science, 2018)