Proof. related domains (1)