ThmDex – An index of mathematical definitions, results, and conjectures.

ThmDex – An index of mathematical definitions, results, and conjectures.

Proof P3146 on R4610:

P3146

This result is a particular case of R4609: . $\square$