  In this short note, we expose some of the works on Serre intersection
multiplicity conjecture. I provide a proof of the vanishing of Serre
intersection multiplicity in non-proper intersection over a regular ring based
on the intersection theory in W. Fulton.
