idempotent law in sets proof - Search