կարճ միացում ապացուցում է