Theorem ex15

Modification history