The Church Rosser theorem for strong reduction in combinatory logic