scheme :: SCHEMS_1:sch 10
Schemat22b{ P₁[ set ], P₂[ set ] } :

( ex a being set st P₁[a] & ( for b being set holds P₂[b] ) )

provided

A1: for b being set ex a being set st
( P₁[a] & P₂[b] )