>>282
緩くしても入ってくる数は同じだって証明できる?