We have proved "BB(5) = 47,176,870"