Can not be proved since it is the part of 4th postulate.

Must be proved since it is a theorem of the Boolean-algebra.

Can be proved since it is a consequence of the postulates.

Can not be proved since it is the part of 6th postulate.