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

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

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

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