geometric-proof-mov