theorem :: XPRIMES2:54

canceled;