Template:Non-associative ring property