result & proof @dellunae: post #73