# Miquel's Six Circle Theorem
Let(A=[x1,0], B=[x2,0], C=[0,x3], D=[x4,x5], A1=[x6,x7], B1=[x8,x9], 
    C1=[x10,11], D1=[x12,x13]):
Miquel := Theorem(
   [arbitrary(A,B,C,A1), cocircular(A,B,C,D), cocircular(A,B,B1,A1), 
    cocircular(B,C,C1,B1), cocircular(C,D,D1,C1), cocircular(D,A,A1,D1)], 
   cocircular(A1,B1,C1,D1), [x5,x9,x10,x12,x13]);
