New Fact : All Args real implies Mul of Args is real and Addition of Arg...

...s is real