take the parahalting Program of ; :: thesis: the parahalting Program of is paraclosed
thus the parahalting Program of is paraclosed ; :: thesis: verum