Cupid Set 9 | theorem-style