theorem :: XPRIMES2:1612

canceled;