Dokaz sukladnosti dužina