theorem :: XPRIMES2:1057

canceled;