User blog comment:Wythagoras/Friendship function/@comment-1605058-20140717204945/@comment-1605058-20140718064916

That's right. I started doubting that my argument fails, but I couldn't find a counterexample. I have an idea on how to fix this, but I'm by no means sure.