En sträng dimensionslag för helariket