
<html><body><div style="font-family: times new roman, new york, times, serif; font-size: 12pt; color: #000000"><div>Can not be defined as an axiom that different </div><div>constructors create different terms?</div><div><br></div><div>To prove 0<>1 without using bottom.</div><div>To be consistent.</div><div><br></div><div>Regards,</div><div>Patricia Peratto</div><div><br></div></div></body></html>