theorem Th40: :: HILBERT3:41

for p, q being Element of HP-WFF st p is canonical & p => q is canonical holds
q is canonical