Update fact4.cpp