theorem :: GOBRD13:4

canceled;