abcProve.c 8.68 KB