Composite Argument Property Proof Pre Calc