I theoremerna framställer han isärstilta