Description: Lemma for dath . Show that lines c d and P S intersect at an atom. (Contributed by NM, 2-Aug-2012)
Ref | Expression | ||
---|---|---|---|
Hypotheses | dalem.ph | |
|
dalem.l | |
||
dalem.j | |
||
dalem.a | |
||
dalem.ps | |
||
dalem21.m | |
||
dalem21.o | |
||
dalem21.y | |
||
dalem21.z | |
||
Assertion | dalem21 | |