MOD less function call for prove