added proof of composite