QED
n. 證明完畢