Non risponde alla domanda, ma ci si avvicina forse..

http://www.logicforum.it/vb/showthread.php?t=61427