anton.sty: fact theorem environment.