On a coding theorem connected with 'useful' entropy of order α and type β