>>860
定義通りに証明すれば