change to theorem statement