[Davidzheng]

I'm giving a proof of a theoretical fact not saying it's feasible

[komali2]

proof + fact, and theoretical, are very different words, I'm really confused by your meaning here