theorem :: XPRIMES2:6288

canceled;