The pattern sum of weight `w` is independent of the ambient dimension, as long as it is at least `w`.

Initializing...

The pattern sum of weight `w` is independent of the ambient dimension, as long as it is at least `w`. · Prove2Me