Curry-Howardova korespondence se liší, jakmile skutečně použijete existující implikaci k prokázání rekvizity, jako byste to udělali