several demonstrations are possible depending on the initial premises