0 / 60 seg.

The students will verify that these two properties always hold (page 11).