Juventus-Real Madrid, in Champions League la finale dei numeri primi