# The 5th killer of Sergey Markelov (February 11, 1998)

Let(A=[0,0], C=[0,1], B=[u1,u2], D=[u3,u4], P=[x1,x2], Q=[x3,x4], O=[u5,x5], 
    F=[0,x6]):
Killer5 := Theorem(
    [intersection(B,A,C,D,P), intersection(A,D,B,C,Q), equiangle(A,O,P,Q,O,C),
     equiangle(A,O,F,F,O,C)], equiangle(B,O,F,F,O,D), [x1,x2,x3,x4,x5,x6]);
