|
|
Line 39: |
Line 39: |
|
p,q,r,s \in C\\ |
|
p,q,r,s \in C\\ |
|
\left(p\leq q\right)\wedge\left(q<r\right)\wedge\left(q<s\right)\wedge\left(\left|s-r\right|=1\right)\\ |
|
\left(p\leq q\right)\wedge\left(q<r\right)\wedge\left(q<s\right)\wedge\left(\left|s-r\right|=1\right)\\ |
|
\left(c\left(C,E,p,q,r,s\right)\neq0\right)\rightarrow\left(d\left(C,F,p,q,r,s\right)\neq0\right)\end{array}} |
|
\left(c\left(C,E,p,q,r,s\right)\neq0\right)\rightarrow\left(d\left(C,E,F,p,q,r,s\right)\neq0\right)\end{array}} |
|
{\min} |
|
{\min} |
|
c\left(C,E,p,q,r,s\right)\\ |
|
c\left(C,E,p,q,r,s\right)\\ |
Du