Verify that ๐‘ฅ is the same as ๐‘ฅ for ๐‘ฅ 21 31