theorem :: DIST_1:3

canceled;