Flow chart proof (1)

11 years ago