Author: Yuan Lu, Rethlas
Human provided the main idea. Rethlas generated the proof and was verified by human.
Read PDF