Let c be an element of the Weyl algebra W(d) which is given by a strictly positive operator in the Schrödinger representation. It is shown that, under some conditions, there exist elements b 1 , . . ., b d ∈ W(d) such that d j=1 b j cb * j is a finite sum of squares.