Category: the zerio theorem