The fact that R(4, 5) = 25 was first established by Brendan McKay and Stanisław Radziszowski in 1995.
Το γεγονός ότι R(4,5)=25 καθιερώθηκε για πρώτη φορά από τους Brendan McKay και Stanisław Radziszowski το 1995.