prove occurrences are independently of each other

Printable View