Cobhamの最弱の算術