abcProve.c 13.3 KB