Images - beweistheorie I