\documentclass{scrartcl} \usepackage{../../apxproof} \input{../common}