Finished A1

Too lazy to proofread my proof of p5, since it's long and very tedious, but
it's correct.