Excellent---finally proof of a completely different question than the one at hand.