[falsedan]

Yes, the claim is 'at least two of the paths taken from the 10 cards on the first row must converge', not 'there are no paths taken from the 10 cards on the first row which do not converge'.