Prove geometric properties using vectors (#634)