add 'uvwxy-Theorem'