Changed add to append on line 164,165,166
Changed add to append on line 76
Merge branch 'angles' of github into congruency

Conflicts:
	prove.py
Merge branch 'congruency'