Prove some basic facts about affine maps
Add more affine map facts