A proof of Marton's coding theorem for the discrete memoryless broadcast channel

A simple proof using random partitions and typicality is given for Marton's coding theorem for broadcast channels.