تساوی روبین‌کازان و نیمکت‌نشینی حقیقی