INSERT INTO theorems
       (teoId,userId,category,description,shortDescription,teoName,dateSubmission)
      VALUES 
       ('GEO0034','gpreda1
','Geometry','\\begin{geothm}
 Given four points $A$, $B$, $C$ and $D$,
 points of intersections are formed: $L = AB \\cap CD$, 
 $K = AC \\cap BC$, $F = KL \\cap BD$ and $G = KL \\cap AC$.
 Show that segment $KL$ is harmonically divided by
 the points $F$ and $G$, ie:
 $\\frac{\\overline{LK}}{\\overline{KF}} = \\frac{\\overline{GL}}{\\overline{GF}}$.
\\end{geothm}','
',
        '
 Harmonic Points

','2008/02/27')



INSERT INTO figures
       (teoId,drawerId,code,dateSubmission,bibref,userId)
      VALUES 
       ('GEO0034','3','
dim  130 100
point  A 52 20
point  B 72 20
point  C 66 40
point  D 56 36
cmark_b  A
cmark_b  B
cmark_r  C
cmark_lt  D
line  AB A B
line  CD C D
intersec  L AB CD
cmark_b  L
line  AD A D
line  BC B C
intersec  K AD BC
cmark_lt  K
line  BD B D
line  KL K L
intersec  F BD KL
cmark_lt  F
line  AC A C
intersec  G AC KL
cmark_lt  G
drawsegment  B L
drawsegment  C L
drawsegment  A K
drawsegment  B K
drawsegment  B F
drawsegment  A G
line  lkfg L K
drawdashline  lkfg

','2008/02/27','',
        'gpreda1
')

INSERT INTO demonstrations
                 (teoId,proverId,code,dateSubmission,bibref,userId)
          VALUES ('GEO0034','2','
point  A 52 20
point  B 72 20
point  C 66 40
point  D 56 36
line  AB A B
line  CD C D
intersec  L AB CD
line  AD A D
line  BC B C
intersec  K AD BC
line  BD B D
line  KL K L
intersec  F BD KL
line  AC A C
intersec  G AC KL
prove { harmonic L K F G }

','2008/02/27',
                  '','gpreda1
')
