abcProve.c 8.04 KB