Serre's intersection formula