Two projective plane curves without a common component have total intersection number equal to the product of their degrees. The formulas are more useful when each symbol has a job rather than merely decorating the theorem.
Statement
A graded ring \(S=\bigoplus_{d\ge0}S_d\) produces \(\operatorname{Proj}S\), whose points are homogeneous primes avoiding the irrelevant ideal \(S_+\). Projective space is the basic example.
There are two layers here: the object \(\mathsf D\) and the law \(\mathsf C\). Writing them separately makes the direction of \(\Longrightarrow\) visible and keeps an accidental converse from slipping in.
Worked algebra
Now evaluate one representative case. The result should agree with the structural law above, but it is obtained without assuming the conclusion.
Conceptual compression
What survives the example is not its particular numbers but the relation encoded by the two rows below. That relation is the part worth transporting to a new setting.
Caveat
Homogeneity is essential: a nonhomogeneous equation is not well defined under rescaling of projective coordinates.
With the dependency made explicit, the same pattern can be recognised safely in nearby problems. A changed hypothesis should now be easy to spot.