Theorem ex12

Modification history