help to proof : if a|b then phi(a) | phi(b)

Printable View