Cupid Set 7 | theorem-style