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