For every smooth function , equality of mixed partial derivatives gives
Consequently the commuting coordinate basis property is