Mathematics Undergraduate almost 7 yearsago

このガウス記号の性質の証明を教えて欲しいです。

一1 ん 性質3' : | | = 2_lz ー] (7 は任意の整数)