A Short Remark on Weierstrass Points at Infinity on X0(N)

We point out that the formalism of the trace map and reduction modulo p can be used to give a short proof for the fact first proved by Ogg that is not a Weierstrass point on X₀(pM) where p is a prime not dividing M and the genus of X₀(M) is zero.