Theorem peirce

Modification history