1. # a very nice technical guide to openssl user authentication with apache using certificates and smartcards
2. # installing opensc:

    TARGETDIR=$HOME
    mkdir -p $TARGETDIR
    cd $TARGETDIR
    cvs -z3 -d :pserver:cvs@cvs.opensc.org:/cvsroot co opensc
    cd $TARGETDIR/opensc
    ./bootstrap
    ./configure
    time sudo make install
   

3. # prepare a pkcs#15 card:

    debugLevel=-vvvvvv
    pkcs15-init $debugLevel -T --erase-card --create-pkcs15 --profile pkcs15 -a 45 -l 45 --pin 1234 --puk 123456 --so-pin 123456 --so-puk 12345678
    pkcs15-init $debugLevel -T -P -a 45 -l 45 --pin 1234 --puk 123456 --so-pin 123456 --so-puk 12345678 
   

Theorem: All positive integers are equal.
Proof: Sufficient to show that for any two positive integers, A and B, A = B.
        Further, it is sufficient to show that for all N > 0, if A and B
        (positive integers) satisfy (MAX(A, B) = N) then A = B.

Proceed by induction:
        If N = 1, then A and B, being positive integers, must both be 1.
        So A = B.

Assume that the theorem is true for some value k.  Take A and B with
        MAX(A, B) = k+1.  Then  MAX((A-1), (B-1)) = k.  And hence
        (A-1) = (B-1).  Consequently, A = B.