rigidity theorem

Input interpretation

rigidity theorem