Theorem normalize_one

Modification history