يىغىنچاقلاش تېئورېمىسىنى ئىسپاتلاش پروگراممىسى