Theorem exists_pos_bound_of_bound

Modification history