A note on the ‘primbasissatz’