设Q(x):x为偶数，P(x):x为素数，则下列命题：(1)存在唯一偶素数;(2)至多有一个偶素数;分别形式化：(1)________________________________(2)________________________________。

设集合A、B、C为任意集合，若A×B=A×C，则B=C。

设X{1,2,3,4},R{1,2,2,4，3,3}，则r(R)=________;s(R)=________;t(R)=________。

如果连通平面图G有n个顶点，e条边，则G有_______个面。

证明：在6个结点12条边的连通平面简单图中，每个面的面度都是3。