#bgv theorem

topicbgv theorem