 A demonstration or concrete proof of the antecedent, be it an actual or a hypothetical one, is required to obtain a canonical form. The reason is that the existence of a canonical proof of a proposition \(A\) cannot be logically derived from the mere proof conditions of \(A\), as the form such a canonical proof takes may well depend on specific non-logical details of mathematical constructions for \(A\).