Prémisse : Io a un diamètre de 3.598 kilomètres (2.236 miles), légèrement plus grand que la lune terrestre.
Hypothèse : La lune terrestre a un diamètre de 3.746 kilomètres.
Relation : neutral