But then is the symedian of . Moreover and hence and are antiparallel with respect to . Consequently a symedian in is a median in . Q.E.D.
Ngunit pagkatapos ay ay ang symedian ng . Bukod dito at dahil dito at ay antiparallel na may paggalang sa . Bilang resulta ng isang symedian sa ay isang panggitna sa . QED