Mraz' Proof