Theorem peirce'

Modification history