# Brianchon Theorem: 039 of Kutzler and Stifter 
hyp:=[y1^2*y3^2+y2^2*y9^2-y1^2*y2^2,
      y1^2*y4^2+y2^2*y10^2-y1^2*y2^2,
      y1^2*y5^2+y2^2*y11^2-y1^2*y2^2,
      y1^2*y6^2+y2^2*y12^2-y1^2*y2^2,
      y1^2*y7^2+y2^2*y13^2-y1^2*y2^2,
      y1^2*y8^2+y2^2*y14^2-y1^2*y2^2,
      y1^2*y3*y15+y2^2*y9*y16-y1^2*y2^2,
      y1^2*y4*y15+y2^2*y10*y16-y1^2*y2^2,
      y1^2*y4*y17+y2^2*y10*y18-y1^2*y2^2,
      y1^2*y5*y17+y2^2*y11*y18-y1^2*y2^2,
      y1^2*y5*y19+y2^2*y11*y20-y1^2*y2^2,
      y1^2*y6*y19+y2^2*y12*y20-y1^2*y2^2,
      y1^2*y6*y21+y2^2*y12*y22-y1^2*y2^2,
      y1^2*y7*y21+y2^2*y13*y22-y1^2*y2^2,
      y1^2*y7*y23+y2^2*y13*y24-y1^2*y2^2,
      y1^2*y8*y23+y2^2*y14*y24-y1^2*y2^2,
      y1^2*y8*y25+y2^2*y14*y26-y1^2*y2^2,
      y1^2*y3*y25+y2^2*y9*y26-y1^2*y2^2]:
con:=`@concurrent`([y15,y16],[y21,y22],[y17,y18],[y23,y24],
                   [y19,y20],[y25,y26]):
ord:=[y9,y10,y15,y16,y11,y17,y18,y12,y19,y20,y13,y21,y22,y14,y23,y24,y25,y26]:
Brianchon := Theorem(hyp,con,ord);
