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

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

Proof P3808 on R5619:

P3808

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