The local intersection length of the strict transform with the exceptional divisor at the point `P` equals the multiplicity of the irreducible factor `φ` (defining `P`) in the reduced tangent form `∑

Initializing...

The local intersection length of the strict transform with the exceptional divisor at the point `P` equals the multiplicity of the irreducible factor `φ` (defining `P`) in the reduced tangent form `∑ · Prove2Me