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

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

Proof P3434 on R4997:

P3434

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