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