theorem :: DIST_1:1

canceled;