logic proof

by franz ameno 10/14/2010
1492