theorem :: XPRIMES2:1602

canceled;