In the J programming language, '%' is the division operator (not the modulus). So the identity is correct