Adding an ideal regenerator to a simple ideal Brayton cycle (same pressure ratio and temperatures) leaves the net work output