Manin–Drinfeld theorem