CCONJ / VERB / AUX / CCONJ:
ถ้า พิสูจน์ แล้ว ว่า