Theorem integral_one

Modification history