>>12
なら4つ全部(?)でならば不変が証明できるとのことですかね?