Description: Lemma for dath . Planes Y and Z form a 3-dimensional space (when they are different). (Contributed by NM, 22-Jul-2012)
Ref | Expression | ||
---|---|---|---|
Hypotheses | dalema.ph | |
|
dalemc.l | |
||
dalemc.j | |
||
dalemc.a | |
||
dalem14.o | |
||
dalem14.v | |
||
dalem14.y | |
||
dalem14.z | |
||
dalem14.w | |
||
Assertion | dalem14 | |
Step | Hyp | Ref | Expression |
---|---|---|---|
1 | dalema.ph | |
|
2 | dalemc.l | |
|
3 | dalemc.j | |
|
4 | dalemc.a | |
|
5 | dalem14.o | |
|
6 | dalem14.v | |
|
7 | dalem14.y | |
|
8 | dalem14.z | |
|
9 | dalem14.w | |
|
10 | 1 2 3 4 5 7 8 9 | dalem13 | |
11 | 1 2 3 4 5 6 7 8 9 | dalem9 | |
12 | 10 11 | eqeltrd | |