应该是it is known to us all / that theory comes from practise.
to us all 所有人接一个that从句.all 可以去掉吗？可以，就是一个表达程度（所有）的。可不可以加个逗号？it is known to us all ，that theory comes from practisethat从句，不要加逗号