Eant är , att , om en mångdubbeltöfverlägsen