Theorem dist_self

Modification history