Общий вес всех муравьев на планете равен общему весу всех людей.