Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proof.
Let be a compactly supported nonnegative smooth function on the square , equal to one on . We identify with , and denote . Then
|
|
|
The basic obervation is that if is a positive current of bidegree , then by integration by part,
|
|
|
Iterating this argument to lower the power of ,
|
|
|
The second statement is proved similarly by removing factors iteratively.
∎