অতোপ্পা অমরোমদনা, প্রুফ এসিস্তেন্তনা খুৎনা ইবা প্রুফ অমা ওইনা পীবা য়ারোইদবা অকুপ্পা মরোলশিং ভেরিফাই তৌবা য়াহল্লি অমসুং জৈত-থোম্পসন থিওরেমগুম্বা অশাংবা প্রুফশিংগী কয়া য়াম্না চুম্বগে হায়বদু খঙহল্লি।