Scriped Assumption A for Factorial example.