Eyeball Theorem

Given:  

Circles centers A and B

Tangents AC and AD

Tangents BF and BE

Chords MN and PQ

To prove:

MN = PQ

Proof:

1. AFCB: cyclic