Cupid Set 8 | theorem-style