theorem :: TDLAT_2:17

canceled;