Theorem dist_pos

Modification history