 They claimed that Carl Ludwig Siegel knew of a proof of this special case, but it is not recorded.Using the special case they manage to prove that the ratio of consecutive colossally abundant numbers is always either a prime or a semiprime.The theorem was first explicitly stated and proved in its complete form independently by Serge Lang and Kanakanahalli Ramachandra in the 1960s.