Aは無限でもよい