روشی برای کاهش محاسبات جمع متوالی فاکتوریل ها و اثبات دیگری برای عبارت 0!=1. pubs bcnf 2025, 2 (9).