abcProve.c 13.4 KB