For certain use cases, it seems it does always refuse, therefore it's finite.
No.
B + C = A
B is finite
C is infinite
Therefor A is infinite
No.
B + C = A
B is finite
C is infinite
Therefor A is infinite