explained oscillations

added the function proofOscillations()