Use in connection with the Student Activity theorem 18.
(c) Project Maths Development Team
(c) Project Maths Development Team 2011, Created with GeoGebra