@anonymous02: Let us prove