assumption

Result: 1