rotkiewicz theorem

Input interpretation

Rotkiewicz theorem