mc coys theorem