theorem :: XPRIMES2:6552

canceled;