Counting copy

Proof not finished, contains what was worked out in class.