Template:Non-associative ring property implication