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

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

Proof P3374 on R4916:

P3374

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