不變性是強大的。 斷言更強大。