Theorem ex17

Modification history