余接束は局所的に自明であるから、この定義はRn×Rn{\displaystyle\mathbb{R}^{n}\times\mathbb{R}^{n}}上でチェックされるだけでよい。
要证明该形式确实是辛形式，可以利用辛形式是一种局部性质：因为余切丛局部平凡，该定义只需在Rn×Rn{\displaystyle\mathbb{R}^{n}\times\mathbb{R}^{n}}上验证。