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

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

Proof P3147 on R4611:

P3147

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