## logic rules

In the following problem i was asked to explicitly mention the rules of logic involved in proving.

if a>=0 and b>=0 ,then sqrt(ab)= sqrt(a)*sqrt(b)