consider P being pcs;
take I --> P ; :: thesis: ( I --> P is pcs-chain-like & I --> P is pcs-yielding )
thus ( I --> P is pcs-chain-like & I --> P is pcs-yielding ) ; :: thesis: verum