removed theorem only here for testing purposes