masons theorem