contents

• common knowledge

• theorem and informal proof

• formal proof

• conclusion

• literature

Previous slide

Next slide

Back to first slide

View graphic version