غسل شهید

آیا خون شهدا و تمامی کسانی که در معرکه و کارزار الاهی شهید می شوند پاک است؟