Mathematical identity