Finished AM 7.1

- Very detailed proof :D